 (d) Verify that your implementation is guaranteed to terminate. 